skolem function中文什么意思

斯柯伦函数

• function:    n. 1.功能，官能，机能，作用。 ...
• skolem:    期柯伦
• skolem范式:    skolem normal form

例句与用法

1. In this paper , a sufficient and necessary condition is given to judge whether skolem functions can be eliminated from the extracted procedure or not , and the extracting method is shown
   本文给出了是否能抽取出无skolem函数的程序的充分必要条件，同时给出了抽取算法。